trace semantics

[treis sɪˈmæntɪks]
  • 释义

    [计]轨迹语义学;

数据更新时间:2025-11-14 07:20:52
1、

Algebraic semantics and inheritance of an abstract class with trace

具迹抽象类型的代数语义与继承

互联网摘选

2、

This paper proposes a new simple trace semantics that can be used to specify security properties, this technique supports a protocol designer to provide formal analysis of the security properties.

本文提出了一种新的简单的迹语义,用于刻画协议部分安全性质,即只针对协议规约的单个主体,此技术支持协议设计者对安全性质进行形式化规约。

互联网摘选

3、

Formal Analysis for Network Security Protocols Based on Trace Semantics

基于迹语义的网络安全协议形式化分析

互联网摘选

  • 相关词组
  • 今日热词
  • 热门搜索
  • Russia['rʌʃə] n.(1917年以前的)俄罗斯帝国;现俄罗斯;俄罗斯联邦;
  • pulse[pʌls] n.脉搏;[无线电](电磁波等)脉动;活力;有节奏的跳动(或拍打);vi.(心脏)跳动;脉动;搏动;震动;
  • Merrell n.迈乐;[人名] 梅里尔;迈乐;麦乐;登山鞋
  • public[ˈpʌblɪk] n.平民;志趣相投的人;adj.公众的;公共的;政府的;公用的;公开的;公开场合的;;
  • thunderstorm[ˈθʌndəstɔːm] n.雷电交加的暴风雨;大雷雨;雷雨;雷暴;雷雨交加
  • Buick[bju:ɨk] [人名] 别克;[地名] [加拿大] 比伊克;
  • crew[kruː] n.(飞机、轮船等上的)全体工作人员;技术团队;一组人;划船队;赛船运动;v.当船员;
  • alike[əˈlaɪk] adj.同样的,相似的;adv.两者都,同样地;类似于;
  • spoken[ˈspəʊkən] v.讲,谈( speak的过去分词 );说;演说;从某种观点来说;adj.以某种方式说话的;口头的;
  • so far so good[səʊ fɑː(r) səʊ ɡʊd] 到现在为止,一直都还不错。;
  • click[klɪk] v.使发出咔嗒声;(用鼠标)点击;豁然开朗;(与…)一见如故;受到欢迎;配合默契;n.咔哒声;(鼠标)点击;吸气声;
  • reduction[rɪˈdʌkʃn] n.减少;降低;折扣;还原;缩图;

纳米英语英语词典(dict.nm3.cn)为您提供在线翻译英语词典单词大全英译汉汉译英等英语服务!可按单词字数词义分类查询。支持lj:关键词格式查询例句。

用户反馈
请选择反馈类型(可多选):
您的联系方式:
反馈内容:
提交成功 小编会尽快处理
回到顶部
点击反馈